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