loading SCIP...
19 29063 true
3 5 18 24 27 32 35 44 45 47 51 54 58 62 68 87 89 92 93