type in (and confirm) conjecture
print conjectured solution