точно решаемая модель