2288.sat