(8/7 + 9/7)%2