solve(x<13 xor x<5,x)