/usr/share/man/man1/dsdp5.1.gz /usr/share/man/man1/maxcut.1.gz
/usr/share/man/man1/dsdp5.1.gz /usr/share/man/man1/theta.1.gz