Don't consider .minisat files
Adjusted sample inputs
Alberi solver works. (Only with one tree for each line)