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