Started creation of randomSATSolver

With my iPad