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