73.70/75.24	unsat
