Check State now prints out the current solution when in BSO form.
Fixed a problem with the minimum variables when constraints > variables.