vtx(1). vtx(2). vtx(3). vtx(4). vtx(5). vtx(6).
edge(2,1). edge(2,6).
edge(3,1). edge(3,4). edge(3,6).
edge(4,1). edge(4,2).
edge(5,6). edge(5,2).
edge(6,4).
edgewt(2,1,1). edgewt(2,6,13).
edgewt(3,1,4). edgewt(3,4,19). edgewt(3,6,1).
edgewt(4,1,18). edgewt(4,2,4).
edgewt(5,6,2). edgewt(5,2,6). edgewt(5,4,4).
edgewt(6,4,6).
minweight(15).
bound(3).