added implementation to rotate.
	modified:   solver.c