coloringcnf debugged
updated analyzecnf