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