First version of cdcl (not working)