0.39/1.66	unsat
