TSTP Solution File: NUM988_5 by DCTP---1.31