Adding IO / various other bug fixes. Solver is unstable