Consider the method mcq():
int mcq(boolean a, boolean b, boolean c, boolean d)
{
  int ans = 1;
  if (a) { ans = 2; }
  else if (b) { ans = 3; }
  else if (c) { if (d) { ans = 4; } }
  return ans;
}
Let M1 = number of tests to exhaustively test mcq(), M2 = minimum number of tests to achieve full statement coverage, and M3 = minimum number of tests to achieve full branch coverage. Then the value of (M1, M2, M3) is:

1. A(A) (16, 3, 5)
2. B(B) (8, 3, 5)
3. C(C) (16, 4, 5)
4. D(D) (8, 4, 5)

Pick an option to check yourself, or open the answer below.