0.00/1.12	unsat
