1238.sat