3.13pts) Compute the weakest precondition for the following assignment statement given the postcondition. b = (c + 10)/3 {b > 6} 4. (3pts) Compute the weakest precondition for the sequence of statements: a = 2b + 1; b = a-3 {b 1}