#!/bin/bash

./glucose -vbyte -certified -certified-output=$2/proof.out -model $1
