Consider the following pseudocode: READ x READ y IF x > 0 AND y > 0 THEN PRINT "both positive" ELSE PRINT "not both positive" ENDIF A tester runs two test cases: (x=5, y=3) and (x=-1, y=7). What branch coverage is achieved?