solver seems to work but recursive solving has memory problems
found memory leak (thank you autorelease pool)