KTH 2 dimacs utility