i think the solver works, but havent run it yet.