Version 0.2: Works fine with all problems 
Heuristics: MOM (including unit clause, excluding smallest clause)
Renaming Solution to Model, and all related classes