TSTP Solution File: PRO012+3 by DCTP---1.31