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