selection-CNF build