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