for ((R=1; R<=33; ++R)) do
 ../../sat/glucose_static -cpu-lim=3600 alldiff_32_34_$R-bij.cnf
done