84.35/84.78	unsat
