Solving with External SAT solver
VERIFICATION:- SUCCESSFUL