sat-to-bitop.ll 4.28 KB