Solver ALL encoding problems. Fooled around a lot experimenting with controllers