0.39/0.66	unsat
