#include <cstdio>
#include <cctype>
#include <vector>
#include <algorithm>
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
template<typename T> void cmax(T &a,const T &b){if(a<b)a=b;}
template<typename T> void cmin(T &a,const T &b){if(b<a)a=b;}

const int N=1005;

void read(int &x){
	char c;
	while(!isdigit(c=getchar()));
	x=(c&15);
	while(isdigit(c=getchar()))
		x=x*10+(c&15);
}
void read(char &c){
	while(isspace(c=getchar()));
}

int n,m,a,b;
char op[N];
int x[N],y[N];

int gb(int x,int i){return (x>>i)&1;}

void fmain(){
	read(n),read(m);
	while(n--){
		read(a),read(b);
		for(int i=0;i<m;++i){
			read(op[i]);
			if(op[i]!='.'){
				read(x[i]);
				if(op[i]!='-')
					read(y[i]);
			}
		}
		bool f=false;
		for(int S=0;S<(1<<m);++S){
			if(__builtin_popcount(S)!=a)
				continue;
			bool flg=false;
			for(int i=0;i<m;++i)
				if((gb(S,i) && (op[i]=='-' || op[i]=='.')) || (!gb(S,i) && op[i]=='+')){
					flg=true;
					break;
				}
			if(flg)
				continue;
			int mn=0,mx=0;
			for(int i=0;i<m;++i){
				if(!gb(S,i))
					continue;
				if(op[i]=='+'){
					mn+=(x[i]-1)*20+y[i];
					mx+=(x[i]-1)*20+y[i];
				}else{ // ?
					mn+=(y[i]-x[i])*20+240;
					mx+=(y[i]-1)*20+299;
				}
			}
			if(!(mn<=b && b<=mx))
				continue;
			int p=b-mn;
			puts("Yes");
			for(int i=0;i<m;++i){
				if(op[i]=='.'){
					puts(".");
				}else if(op[i]=='-'){
					printf("- %d\n",x[i]);
				}else if(op[i]=='+'){
					printf("+ %d/%d\n",x[i],y[i]);
				}else if(gb(S,i)){
					if((x[i]-1)*20+59<=p){
						printf("+ %d/299\n",y[i]);
						p-=(x[i]-1)*20+59;
					}else{
						int o=y[i]-x[i];
						while(p>=20 && o<y[i]-1){
							++o;
							p-=20;
						}
						printf("+ %d/%d\n",o+1,240+p);
					}
				}else{
					printf("- %d\n",y[i]);
				}
			}
			f=true;
			break;
		}
		if(!f)
			puts("No");
	}
}

int main(){
	fmain();
	return 0;
}