q674.unisat