/prover9-mace4.sh/1.2/Sat Mar 12 08:16:59 2022//
D
