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