TSTP Solution File: SYN360^5 by SInE---0.4