Act as a Senior Systems Engineer. Help me build a fast SAT solver (math logic tool) in C++ 20. The tool must use all computer cores and SIMD (special fast math instructions). It should take a file path through a --path flag. Here is an example of the file content: '(A AND B) OR (NOT C)'. Please include flags for --max-try and --method. First, explain your plan for the fastest algorithm. Then, tell...