these examples were dreamt up by ian.


need to recast them as .sat.smt2 and .unsat.smt2