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