Solving with MiniSAT
VERIFICATION:- SUCCESSFUL