Theory coverage does not imply every formulation is available in every solve. Check model availability and compatible study paths.