Circles-SAT