hard.sat