hard.sat
hard.sat