Here on the page 354 Arora and Barak write below the shaded area
"but in fact $f(\phi)$ $\notin SAT$"
"but in fact $f(\phi) \in SAT$"
While in the last line of the shaded area they write
Shouldn't there be in that last line also not: