72.88/72.96	unsat
