10 0 using sage solve for more than 4 variables ( 2017-06-19 12:28:45 +0200 )
2 0 using sage solve for more than 4 variables ( 2017-06-19 11:56:56 +0200 )