0.00/6.58	unsat
