SA solving v0.4