TSTP Solution File: SYO068^4.020 by iProver-Eq---0.85