HWV040_10

E---3.5.1.SAT-Sat.s E-SAT---3.5.1.SAT-Sat.s Vampire-SAT---5.0.1.SAT-FMo.s Z3---4.15.1.SAT-Mod.s