solver seems to be working