\((Succes1.7+1.3*lab_{MainLibrary}+1\)\(\frac{p(Withdraw)}{p(Success)}=1+5\frac{3}{5}\)