fix a bug in genuine solver