1235.sat