140042.unisat