0.00/5.18	unsat
