Coloring Rectangles
David was given a red checkered rectangle of size $$$n \times m$$$. But he doesn't like it. So David cuts the original or any other rectangle piece obtained during the cutting into two new pieces along the grid lines. He can do this operation as many times as he wants.As a result, he will get a set of rectangles. Rectangles $$$1 \times 1$$$ are forbidden.David also knows how to paint the cells blue. He wants each rectangle from the resulting set of pieces to be colored such that any pair of adjacent cells by side (from the same piece) have different colors.What is the minimum number of cells David will have to paint?
The following pictures show how the initial rectangle can be split and cells colored blue.In the first test case:  In the second test case:  In the third test case:  In the fourth test case:  
The first line contains a single integer $$$t$$$ ($$$1 \leq t \leq 10^3$$$) — the number of test cases. The next lines contain descriptions of test cases.The only line of each test case contains two integers $$$n$$$, $$$m$$$ ($$$1 \leq n, m \leq 3 \cdot 10^4$$$, $$$n \cdot m \geq 2$$$).
For each test case print a single integer — the minimum number of cells David will have to paint blue.
import sys
input = sys.stdin.readline
for _ in range(int(input())):
    (n, m) = map(int, input().split())
    print(n * m // 3 + (n * m % 3 > 0))
for s in [*open(0)][1:]:
    (n, m) = map(int, s.split())
    print(0 - -n * m // 3)
t = int(input())
while t > 0:
    (n, m) = map(int, input().split())
    if n % 3 == 0:
        print(n // 3 * m)
    elif m % 3 == 0:
        print(m // 3 * n)
    elif n % 3 == 1 and m % 3 == 1:
        print(n * m // 3 + 1)
    elif n % 3 == 1 and m % 3 == 2:
        print(n * m // 3 + 1)
    elif n % 3 == 2 and m % 3 == 1:
        print(n * m // 3 + 1)
    elif n % 3 == 2 and m % 3 == 2:
        print(n * m // 3 + 1)
    t -= 1