TSTP Solution File: SWW560_5 by Isabelle---2016