84.17/84.47	unsat
