0.00/0.66	unsat
