python3 -c "import urllib.request,json;d=json.dumps({'model':'Minimize\n obj: x\nSubject To\n c: x >= 3\nEnd\n','format':'lp'}).encode();req=urllib.request.Request('https://api.ceris.fyi/v1/solve',data=d,headers={'Content-Type':'application/json'});print(urllib.request.urlopen(req,timeout=7).read().decode())"