#!/bin/bash
./smtsolver $1

