Personal solutions added.

Modules added for CNF testing.