【单选题】设有下列语句序列：

A、(x>1) and (y<=5) then z←x *> B、se z←x+y；
C、z=12 then z←2 * z；
D、用判定条件覆盖法进行测试，则应选用（ ）为测试用例。
E、x=1, y=12; x=4, y=7
F、x=2, y=1; x=3, y=3
G、x=3, y=4; x=1, y=9
H、x=4, y=5; x=1, y=6