1 10 7 4 +5ltl