3606.unisat