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];
}