Distinguishing SAT from Polynomial-Size Circuits, through Black-Box Queries