Removed superfluous output of "satz215".
Printing filename in quotation marks.
Improved treatment of sat-decision.