2490.sat