Pension Buyout Formula