TSTP Solution File: SCT256_5 by DCTP---1.31