@@ -17,11 +17,9 @@
 
 void main(string[] args)
 {
 	Driver d = new Driver(stdin);
-//	d.addObserver!(GuardedOutput)();
-	d.addObserver!(StdOutput)();
-//	auto c = d.addObserver!(CUI!MainSolver)();
-	auto c = d.addObserver!(CUI!Solver_0)();
+	d.addObserver!(GuardedOutput)();
+	auto c = d.addObserver!(CUI!MainSolver)();
 	while(!c.fin)
 		d.command(c.solver.single_step());
 }