q669.unisat