82.82/86.15	unsat
