71.89/72.09	unsat
