(0<x-2<1\land
0<x^2-8x+15\leq 1)\lor(x-2>1\land x^2-8x+15\geq 1)
