71.72/72.32	unsat
