ERROR error: Problem p217 not found or not available