maxsat file gen