84.74/87.72	unsat
