add4trim[12].cnf
add5.dimacs
add5.cnf

