85.46/87.55	unsat
