An unofficial implemenation of QuteSAT: A Robust Circuit-based SAT Solver for Complex Circuit Structure