0.82/1.08	unsat
