graph G { 0 -- 1 ["label" = 9]; 0 -- 2 ["label" = 8]; 0 -- 4 ["label" = 3]; 1 -- 5 ["label" = 1]; 3 -- 4 ["label" = 10]; 3 -- 5 ["label" = 20]; 3 -- 6 ["label" = 12]; 5 -- 6 ["label" = 9]; }