New modeling ideas for the exact solution of the closest string problem