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