512+10t2+58=8(12+t2+8)