12 9 13
9 20 5
?