"3"^^ . . . . . . . . "optimal redemption"@en .