85.93/87.70	unsat
