function res = CS_EX1_small_UNSAT(n,m,max_sent_len,num_samps)
% CS_EX1_small_UNSAT - Experiment 1.2. results on small unsolvable KBs
% On input:
%     n (int): number of atoms
%     m (int): max number of clauses
%     max_sent_len (int): max number of literals in clause
%     num_samps (int): number of KBs to run
% On output:
%     res (n2-n1+1 x 1 vector): 1 if soution found; else 0
% Call:
%     res = CS_EX1_small_UNSAT(10,20,5);
% Author:
%     T. Henderson
%     UU
%     Fall 2022
%

TOL = 0.01;

%rng('default');
max_dist = sqrt(n-1)/2;
pc = 0.5*ones(n,1);
res = zeros(num_samps,1);  % 1 if solution found; else 0
%wb = waitbar(0,'Small Projections');
for k = 1:num_samps
%    waitbar(k/num_trials);
    [KB,ccp] = CS_gen_test_KB_ind_UNSAT(n,m,max_sent_len);
    [p,proj] = CS_EX1_projections(KB);
    res(k) = max(p)>max_dist;
end
%close(wb);

tch = 0;
