71.40/72.28	unsat
