4678.sat