85.55/87.52	unsat
