Update run.sh:

deal with whitespace
(set-logic ....) and ( set-logic ... )