85.36/85.68	unsat
