TSTP Solution File: SCT184_5 by Isabelle---2016