loading SCIP...
17 31438 true
3 7 17 19 20 21 23 25 36 41 55 58 59 73 91 97 99