loading SCIP...
18 30531 true
4 5 7 8 11 14 18 28 31 45 53 55 57 73 79 84 87 96