sample graph (dimacs format)