0.39/0.64	unsat
