0.41/0.64	unsat
