/prover9-mace4.sh/1.1.1.1/Mon Mar  7 22:26:24 2011//
D
