cash-karp solver appears to be working