85.62/87.22	unsat
