84.40/84.64	unsat
