#!/bin/sh
SCIP-EXECUTABLE=scip-2.0.1.linux.x86.gnu.opt.spx

$SCIP-EXECUTABLE -f $1
