2512.sat