exercise.sat