85.16/87.74	unsat
