code: def test_f4():
      assert not bool(dpll_satisfiable(load(f4)))
  
imports: from sympy.logic.utilities.dimacs import load
  from sympy.logic.algorithms.dpll import dpll_satisfiable
label_desc: Use image node_id 4 for calling a global function with example usage: test_f4() without return types