4527.sat