BadClause ( 994 )50- 713- 63- 73 – G nbat m