SAMPLE.CNF