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