Added a simple random (non)-solver