DPLL appears to work for these trivial cases.