#!/bin/sh

./smtrat $1
