add CNF test input