7 < 08*3 + 12*7 - 7^10 
*3/9 a/*cc*t^ 
