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