5(6 3r) 7≥127