82.62/82.93	unsat
