0.00/8.66	unsat
