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