Let [x] denote the greatest integer less than or equal to x. If the domain of the function 1[x]2−7[x]+12 is R−[a,b), then the value of a+b is