72.02/72.96	unsat
