Trivial integer programs unsolvable by branch-and-bound