read "/home/hakank/picat/picat3/emu/scipsuite/scip"/check/"instances/MIP/bell5.mps"
write problem temp/bell5.mps.lp
presolve
write transproblem temp/bell5.mps_trans.lp
read temp/bell5.mps_trans.lp
optimize
validatesolve "8966406.49" "8966406.49"
read temp/bell5.mps.lp
optimize
validatesolve "8966406.49" "8966406.49"
quit
