1542.sat