Running:

0) Run 'make'
1) Run './run_sat'
2) (in new terminal) Run './cmd_generator.py'
	a) Enter '0'
	b) Enter '1'
	c) Enter '2'
	d) Enter '1'
	e) Enter '3'
	f) Enter '1111638594'
	g) Enter '1'