sat-rs/.idea/runConfigurations