\ solve c a b with - SWAP /
\ c = 2, a = 10 b = 4
2 10 4 - SWAP / .
\ output is 3