0.63/0.64	unsat
