4321.sat