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