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