Solving with CaDiCaL
VERIFICATION:- SUCCESSFUL