0.00/1.24	unsat
