#!/bin/csh

limit cputime $2 

./relsat -\#c $1 >$4
./cachet  $1 >$3
