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