ordering the learnt clause in order to have a correctly watch literals