(5/7 + 12/7)%2