csplib/prob049 straightforward encoding