automated-reasoning-ss21