added libarary(rstan) to ex3.4.3