#!/bin/bash
$(dirname $0)/z3 -T:4 -smt2 -in