3946.unisat