1.29/1.82	unsat
