Unknown instead of unsatisfiable
Some optimizations of ga, add some random childs
Comments
Create two offsprings at the same time
Revert "Create two offsprings at the same time"

This reverts commit 3e4ede51ccc57c72bef279ed4dafbab94516db59.
Fix force clauses in ga (overwrote variable)