MySolver with entry and exit unresolved