3SAT
http://dbpedia.org/resource/3SAT
rdf:langString
3SAT
xsd:integer
1758276
xsd:integer
209033517
xsd:nonNegativeInteger
86