0.82/1.02	unsat
