some work on failing to implement the solver