Subgame solving without commonknowledge