83.88/85.08	unsat
