TSTP Solution File: SCT247_5 by Isabelle---2016