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