bitmap3.unisat
bitmap3.unisat