Finsihed CNF translation