1288.sat