solve U = (10 / 0.95) / (12 - 0.25 * U)