Resolving an insurance allocation problem: a procedural Approach