Given the number of variables n and the number of clauses m, write a program that outputs all CNF formulas that contain at most n variables and at most m clauses.
如果数据量不大，那么两重循环穷举下就是了。