s7 + s1

s7 > s1