finishing up sosolver