automated-reasoning-ss22