Գրեք սա: Handbook of satisfiability