84.28/85.63	unsat
