Waiters at Work solver