#include "bits/stdc++.h"
// #include "grader.cpp"
#include "grader.h"
#include "cluedo.h"
using namespace std;
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
int a[5];
int getRand(int l, int r){
return l + rng() % (r - l + 1);
}
void Solve() {
a[1] = a[2] = a[3] = 0;
while(1) {
int x = getRand(1,6);
int y = getRand(1,6);
int z = getRand(1,6);
while(a[x] == 1) x = getRand(1,6);
while(a[y] == 1) y = getRand(1,10);
while(a[z] == 1) z = getRand(1,6);
int vl = Theory(x, y, z);
if(!vl) return;
if(vl == 1) {
a[x] = 1;
}
if(vl == 2) {
a[y] = 1;
}
if(vl == 3) {
a[z] = 1;
}
}
}
