hint.sat