84.63/87.34	unsat
