finally got satisfiable testing method