Add info about complexity in .problel.minisat file
Add unsat (?) input
Add comment in assert
Add levels