1.08/1.82	unsat
