79.63/84.78	unsat
