2392.sat