TSTP Solution File: SCT248_5 by Isabelle---2016