[ x[3] = 1*floor(t/k[5]) ]