#!/bin/sh
exec vampire --input_syntax smtlib2 -sas z3 "$@"