Frac x 5 +10 le12