Playing around with Go in order to solve sat problems.