Enhanced membrane computing algorithm of ALL-SAT problems based on the concept of full-length clauses