Only two orderings b c a and c b a out of the 3! = 6 possible
comply with the hard requirement while optimizing for the soft
one. Finding those manually is generally hard.