0.00/6.02	unsat
