0.82/0.86	unsat
