code formatting
stub out solver