Remember ciao2 problem input