add an example of 9000 clauses for 3 sat progra