TSTP Solution File: CAT025+1 by CARINE---0.734