totallyunimodular documents