3542.sat