SA solving v0.31