myexample.unisat