A simple program that find a model for a propositional logic formula