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