Cálculos del solver