LIB "tst.lib"; tst_init();
LIB "atkins.lib";
ring R = 0,x,dp;
CornacchiaModified(-107,1319);
tst_status(1);$