#! /bin/sh

DB=${3:-tdn}

./bigprol data/$DB.save << EOF
[path].
solve($1,$2).
EOF