Quantified Boolean Formulas Satisfiability -- System Abstract: E 0.61 -- Vampire 1.1 --