fixed error when minisat returned 20