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