SA solving v0.1