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