TSTP Solution File: PRO002+2 by CARINE---0.734