x2 + y2 − 6x − 4y + 12 ≦ 0