solver is working. need to add a few more tests