82.31/84.38	unsat
