84.62/86.22	unsat
