84.56/86.35	unsat
