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','User-Agent':'Mozilla/5.0'});
import urllib.error
try: print(urllib.request.urlopen(req,timeout=7).read().decode())
except urllib.error.HTTPError as e: print(e.code,e.read().decode())"