#!/bin/sh ./mathsat -dpll.restart_strategy=3 -dpll.glucose_learnt_minimization=true -theory.na.permanent_lemmas=false -dpll.minimize_model=true $1