sample.txt(! is 'not')
!A B E A !B A !E !E D !C !F !B !E B !B F !B C
python DPLL.py sampleCNF/sample.txt
implementing DPLL Algorithm
