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