Exp Z4.6; just one; k bound (1,12)