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