TSTP Solution File: SYO019^1 by SInE---0.4