sat tests always need a CNF tree
add min-max calculations for tseitin
revamp QDIMACS.format for performance