Structured Problems with Unsolvable Models