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