TSTP Solution File: SCT123+1 by Nitpick---2016