Looking for an autarky?

Autarkies for SAT are partial assignments for boolean CNF, 
which either satisfy a clause or leave it untouched.
 ____________
< Sorry, 404 >
 ------------
        \   ^__^
         \  (oo)\_______
            (__)\       )\/\
                ||----w |
                ||     ||