satisfiability project instructions