Enumeration-2sat-aux