Before revision:  We also highlight connection of the problem to minimum satisfiability and settle hardness of variants of planar min- and max-SAT.
After revision:  We also highlight connections of the problem to minimum satisfiability and settle hardness of variants of planar min- and max-SAT.