71.60/75.02	unsat
