displaying {TAIL ~ data} corresponding to {HEAD ~ a solution} of the formula: 
displaying { TAIL ~ data } corresponding to { HEAD ~ a solution } of the formula :
OTH TAIL TAIL TAIL TAIL TAIL OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH OTH OTH