71.84/72.32	unsat
