Prograis couldn't solve the puzzle...