solver human readable output for cheaters