./build >&2
./bin/snark14 -e  b.9.experimenter.in