4760.sat