Graphical structure of unsatisfiable boolean formulae