finish solver