resolver 6: ( 4:[3-(5-4)])​