TSTP Solution File: SYN332-1 by SInE---0.4