0.00/2.32	unsat
