cnf 1
cnf 2

3der