Stable release. Only works if the CNF is very very small. Need optimization.