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