An exactly solvable asymmetric K-exclusion process | Synapse