Before revision:  It is shown that the associated valuation problem is actually linear under some proper conditions so that we can have the same complexity in pricing as classical pricing theory.
After revision:  Thus, in general, we have to resort to expensive numerical computation. In most previous works, the attempts to find an analytic solution were conducted on a restrictive assumption that the borrowing/lending rates are same. We find conditions to relax the assumption.