84.57/87.80	unsat
