D Fence C by CNF