4017.sat