1.39/1.66	unsat
