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