83.07/84.42	unsat
