Compute the weakest preconditions: a=3*(2*b+a); b=3*a-1; {b>8}