0.58/0.66	unsat
