84.63/87.42	unsat
