Submitted URL: https://119f.cc/
Effective URL: https://dfvbghytf.nrpak.cn/hadd?p=0
Submission: On November 23 via api from BE — Scanned from SG

Summary

This website contacted 4 IPs in 1 countries across 5 domains to perform 17 HTTP transactions. The main IP is 163.181.42.243, located in and belongs to . The main domain is dfvbghytf.nrpak.cn.
TLS certificate: Issued by R10 on November 22nd 2024. Valid for: 3 months.
This is the only time dfvbghytf.nrpak.cn was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

IP Address AS Autonomous System
3 206.238.176.73 399077 (TERAEXCH)
10 206.238.176.78 399077 (TERAEXCH)
2 163.181.81.238 24429 (TAOBAO Zh...)
2 163.181.42.243 ()
17 4
Domain Requested by
10 seh58igf.dfeuhl.cn 119f.cc
seh58igf.dfeuhl.cn
3 119f.cc 119f.cc
2 dfvbghytf.nrpak.cn seh58igf.dfeuhl.cn
1 web-afdg42.openinstall.com seh58igf.dfeuhl.cn
1 web-afdg42.oplinking.com seh58igf.dfeuhl.cn
17 5

This site contains no links.

Subject Issuer Validity Valid
119f.cc
R10
2024-11-14 -
2025-02-12
3 months crt.sh
dfeuhl.cn
E6
2024-11-13 -
2025-02-11
3 months crt.sh
*.oplinking.com
RapidSSL Global TLS RSA4096 SHA256 2022 CA1
2024-08-26 -
2025-08-30
a year crt.sh
*.openinstall.com
RapidSSL Global TLS RSA4096 SHA256 2022 CA1
2024-05-10 -
2025-05-09
a year crt.sh
*.nrpak.cn
R10
2024-11-22 -
2025-02-20
3 months crt.sh

This page contains 1 frames:

Primary Page: https://dfvbghytf.nrpak.cn/hadd?p=0
Frame ID: 47CDACE5033462C4B5E1A2AB59B41B1A
Requests: 17 HTTP requests in this frame

Screenshot


Page URL History Show full URLs

  1. https://119f.cc/ Page URL
  2. https://seh58igf.dfeuhl.cn/?channelCode=043 Page URL
  3. https://dfvbghytf.nrpak.cn/hadd?p=0 Page URL

Detected technologies

Overall confidence: 100%
Detected patterns
  • swiper(?:\.min)?\.js

Page Statistics

17
Requests

100 %
HTTPS

0 %
IPv6

5
Domains

5
Subdomains

4
IPs

1
Countries

1143 kB
Transfer

1139 kB
Size

0
Cookies

Page URL History

This captures the URL locations of the websites, including HTTP redirects and client-side redirects via JavaScript or Meta fields.

  1. https://119f.cc/ Page URL
  2. https://seh58igf.dfeuhl.cn/?channelCode=043 Page URL
  3. https://dfvbghytf.nrpak.cn/hadd?p=0 Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

17 HTTP transactions

Resource
Path
Size
x-fer
Type
MIME-Type
/
119f.cc/
1 KB
1 KB
Document
General
Full URL
https://119f.cc/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.73 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.24.0 /
Resource Hash

Request headers

Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36

Response headers

accept-ranges
bytes
content-length
1380
content-type
text/html
date
Sat, 23 Nov 2024 16:46:55 GMT
etag
"6735b254-564"
last-modified
Thu, 14 Nov 2024 08:18:28 GMT
server
nginx/1.24.0
x-cache
BYPASS
index.css
119f.cc/static/css/
7 KB
8 KB
Stylesheet
General
Full URL
https://119f.cc/static/css/index.css
Requested by
Host: 119f.cc
URL: https://119f.cc/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.73 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.24.0 /
Resource Hash

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://119f.cc/

Response headers

etag
"651d1e86-1db6"
accept-ranges
bytes
x-cache
UPDATING
content-length
7606
date
Sat, 23 Nov 2024 16:46:55 GMT
content-type
text/css
last-modified
Wed, 04 Oct 2023 08:12:54 GMT
server
nginx/1.24.0
bg.png
119f.cc/static/images/
599 KB
599 KB
Image
General
Full URL
https://119f.cc/static/images/bg.png
Requested by
Host: 119f.cc
URL: https://119f.cc/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.73 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.24.0 /
Resource Hash

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://119f.cc/

Response headers

etag
"651d1e86-95c1d"
accept-ranges
bytes
x-cache
UPDATING
content-length
613405
date
Sat, 23 Nov 2024 16:46:55 GMT
content-type
image/png
last-modified
Wed, 04 Oct 2023 08:12:54 GMT
server
nginx/1.24.0
/
seh58igf.dfeuhl.cn/
6 KB
6 KB
Document
General
Full URL
https://seh58igf.dfeuhl.cn/?channelCode=043
Requested by
Host: 119f.cc
URL: https://119f.cc/
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.78 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.25.3 /
Resource Hash
40d5368103fee94980b82f08e6b5efadf605337815560fa95799e7a909f71ca7

Request headers

Referer
https://119f.cc/
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36

Response headers

Accept-Ranges
bytes
Content-Length
5639
Content-Type
text/html
Date
Sat, 23 Nov 2024 16:46:55 GMT
Etag
"671f7617-1607"
Last-Modified
Mon, 28 Oct 2024 11:31:35 GMT
Server
nginx/1.25.3
X-Cache
BYPASS
openinstall-fogalz.js
seh58igf.dfeuhl.cn/static/js2/
46 KB
46 KB
Script
General
Full URL
https://seh58igf.dfeuhl.cn/static/js2/openinstall-fogalz.js
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/?channelCode=043
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.78 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.25.3 /
Resource Hash
308e9c28ceb3cb270c4ec7cec272a1fce49684b1ff57fd1a85658044d87cf325

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://seh58igf.dfeuhl.cn/?channelCode=043

Response headers

Etag
"6717a4bf-b636"
Accept-Ranges
bytes
X-Cache
UPDATING
Content-Length
46646
Date
Sat, 23 Nov 2024 16:46:55 GMT
Content-Type
application/javascript
Last-Modified
Tue, 22 Oct 2024 13:12:31 GMT
Server
nginx/1.25.3
swiper.min.css
seh58igf.dfeuhl.cn/static/css/
17 KB
18 KB
Stylesheet
General
Full URL
https://seh58igf.dfeuhl.cn/static/css/swiper.min.css
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/?channelCode=043
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.78 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.25.3 /
Resource Hash
47b0e7129add982c0e394f0dfa8d9621e6c9e4126859b26e1ad25c18def0d812

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://seh58igf.dfeuhl.cn/?channelCode=043

Response headers

Etag
"6717a4bf-455f"
Accept-Ranges
bytes
X-Cache
UPDATING
Content-Length
17759
Date
Sat, 23 Nov 2024 16:46:56 GMT
Content-Type
text/css
Last-Modified
Tue, 22 Oct 2024 13:12:31 GMT
Server
nginx/1.25.3
b1.jpg
seh58igf.dfeuhl.cn/static/
95 KB
95 KB
Image
General
Full URL
https://seh58igf.dfeuhl.cn/static/b1.jpg
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/?channelCode=043
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.78 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.25.3 /
Resource Hash
91fbe95882370b65189cdc875e30cde730c40a8a26be132cd06e3cfc3de5c687

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://seh58igf.dfeuhl.cn/?channelCode=043

Response headers

Etag
"671f9a10-17b42"
Accept-Ranges
bytes
X-Cache
UPDATING
Content-Length
97090
Date
Sat, 23 Nov 2024 16:46:56 GMT
Content-Type
image/jpeg
Last-Modified
Mon, 28 Oct 2024 14:05:04 GMT
Server
nginx/1.25.3
b2.jpg
seh58igf.dfeuhl.cn/static/
91 KB
92 KB
Image
General
Full URL
https://seh58igf.dfeuhl.cn/static/b2.jpg
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/?channelCode=043
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.78 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.25.3 /
Resource Hash
f313652dcc3c96e1522bf4dccab9db7f80854361a4ac15bd064fa4153d53d4d6

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://seh58igf.dfeuhl.cn/?channelCode=043

Response headers

Etag
"671f9a10-16d4f"
Accept-Ranges
bytes
X-Cache
UPDATING
Content-Length
93519
Date
Sat, 23 Nov 2024 16:46:56 GMT
Content-Type
image/jpeg
Last-Modified
Mon, 28 Oct 2024 14:05:04 GMT
Server
nginx/1.25.3
b3.jpg
seh58igf.dfeuhl.cn/static/
82 KB
83 KB
Image
General
Full URL
https://seh58igf.dfeuhl.cn/static/b3.jpg
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/?channelCode=043
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.78 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.25.3 /
Resource Hash
ae6aedbd84bfbdb997d96b9663728ff7da8a5687b88f079a4cebaed6dcec9fa8

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://seh58igf.dfeuhl.cn/?channelCode=043

Response headers

Etag
"671f9a10-149cb"
Accept-Ranges
bytes
X-Cache
UPDATING
Content-Length
84427
Date
Sat, 23 Nov 2024 16:46:56 GMT
Content-Type
image/jpeg
Last-Modified
Mon, 28 Oct 2024 14:05:04 GMT
Server
nginx/1.25.3
b4.jpg
seh58igf.dfeuhl.cn/static/
79 KB
79 KB
Image
General
Full URL
https://seh58igf.dfeuhl.cn/static/b4.jpg
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/?channelCode=043
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.78 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.25.3 /
Resource Hash
44d2836a8a295166a54ca716afd9b5bef93b0d5e8db64c18b58c9e259046dc20

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://seh58igf.dfeuhl.cn/?channelCode=043

Response headers

Etag
"671f9a10-13c15"
Accept-Ranges
bytes
X-Cache
UPDATING
Content-Length
80917
Date
Sat, 23 Nov 2024 16:46:56 GMT
Content-Type
image/jpeg
Last-Modified
Mon, 28 Oct 2024 14:05:04 GMT
Server
nginx/1.25.3
btn02.png
seh58igf.dfeuhl.cn/static/
14 KB
14 KB
Image
General
Full URL
https://seh58igf.dfeuhl.cn/static/btn02.png
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/?channelCode=043
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.78 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.25.3 /
Resource Hash
d38a5df53762573f70d962f99774af53cbede49e2cf08f3287957a58b35b10fa

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://seh58igf.dfeuhl.cn/?channelCode=043

Response headers

Etag
"671f9a10-389d"
Accept-Ranges
bytes
X-Cache
UPDATING
Content-Length
14493
Date
Sat, 23 Nov 2024 16:46:56 GMT
Content-Type
image/png
Last-Modified
Mon, 28 Oct 2024 14:05:04 GMT
Server
nginx/1.25.3
swiper.min.js
seh58igf.dfeuhl.cn/static/js2/
94 KB
94 KB
Script
General
Full URL
https://seh58igf.dfeuhl.cn/static/js2/swiper.min.js
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/?channelCode=043
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.78 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.25.3 /
Resource Hash
4a10219bee747aadeeda78f166d787adf32583f361f88d44b472f6f3da798083

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://seh58igf.dfeuhl.cn/?channelCode=043

Response headers

Etag
"6717a4bf-178a3"
Accept-Ranges
bytes
X-Cache
UPDATING
Content-Length
96419
Date
Sat, 23 Nov 2024 16:46:56 GMT
Content-Type
application/javascript
Last-Modified
Tue, 22 Oct 2024 13:12:31 GMT
Server
nginx/1.25.3
init
web-afdg42.oplinking.com/web/afdg42/043/
444 B
919 B
XHR
General
Full URL
https://web-afdg42.oplinking.com/web/afdg42/043/init?channelCode=043&av=0&cv=0&hash=&sw=p6Cmpg&sh=p6Smpg&sp=1&li=p6GkuKehuKa4og
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/static/js2/openinstall-fogalz.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
163.181.81.238 , Singapore, ASN24429 (TAOBAO Zhejiang Taobao Network Co.,Ltd, CN),
Reverse DNS
Software
Tengine /
Resource Hash
0ac2d32c26d9b993bdc859ed1368437262b0ac82031a802e112a327bf834d404

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Content-Type
text/plain;charset=utf-8
Referer
https://seh58igf.dfeuhl.cn/

Response headers

timing-allow-origin
*
access-control-allow-credentials
true
via
cache38.l2nu20-8[33,0], cache11.l2hk3[65,0], cache23.sg12[101,0]
access-control-allow-origin
https://seh58igf.dfeuhl.cn
eagleid
a3b551ab17323804161394797e
content-length
444
date
Sat, 23 Nov 2024 16:46:56 GMT
content-type
application/json;charset=utf-8
vary
Origin
server
Tengine
favicon.ico
seh58igf.dfeuhl.cn/
6 KB
6 KB
Other
General
Full URL
https://seh58igf.dfeuhl.cn/favicon.ico
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
206.238.176.78 Singapore, Singapore, ASN399077 (TERAEXCH, US),
Reverse DNS
Software
nginx/1.25.3 /
Resource Hash
40d5368103fee94980b82f08e6b5efadf605337815560fa95799e7a909f71ca7

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://seh58igf.dfeuhl.cn/?channelCode=043

Response headers

Etag
"671f7617-1607"
Accept-Ranges
bytes
X-Cache
UPDATING
Content-Length
5639
Date
Sat, 23 Nov 2024 16:46:56 GMT
Content-Type
text/html
Last-Modified
Mon, 28 Oct 2024 11:31:35 GMT
Server
nginx/1.25.3
eyJjIjoiMDQzIiwibSI6Ik5BN2hjRjJDeDhNQUFBR1RXZXRZNElaZy1DMm05eDIzUHo0R0Fsb3E2TmNoUHVad0oxSUp2c3VXa1hyck9pTWtFMzh3OWZFIn0=
web-afdg42.openinstall.com/web/afdg42/043/clicked/c/
0
359 B
Ping
General
Full URL
https://web-afdg42.openinstall.com/web/afdg42/043/clicked/c/eyJjIjoiMDQzIiwibSI6Ik5BN2hjRjJDeDhNQUFBR1RXZXRZNElaZy1DMm05eDIzUHo0R0Fsb3E2TmNoUHVad0oxSUp2c3VXa1hyck9pTWtFMzh3OWZFIn0=?p=0&ref=https%3A%2F%2Fseh58igf.dfeuhl.cn%2F%3FchannelCode%3D043&ac=0&cc=0&channelCode=043
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/static/js2/openinstall-fogalz.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
163.181.81.238 , Singapore, ASN24429 (TAOBAO Zhejiang Taobao Network Co.,Ltd, CN),
Reverse DNS
Software
Tengine /
Resource Hash

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://seh58igf.dfeuhl.cn/

Response headers

timing-allow-origin
*
access-control-allow-credentials
true
via
cache42.l2nu20-8[32,0], cache3.l2hk3[66,0], cache21.sg12[100,0]
access-control-allow-origin
https://seh58igf.dfeuhl.cn
eagleid
a3b551a917323804233173113e
content-length
0
date
Sat, 23 Nov 2024 16:47:03 GMT
vary
Origin
server
Tengine
Primary Request hadd
dfvbghytf.nrpak.cn/
1 KB
1005 B
Document
General
Full URL
https://dfvbghytf.nrpak.cn/hadd?p=0
Requested by
Host: seh58igf.dfeuhl.cn
URL: https://seh58igf.dfeuhl.cn/static/js2/openinstall-fogalz.js
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
163.181.42.243 -, , ASN (),
Reverse DNS
Software
Tengine /
Resource Hash
f8ca22bfefb6c8698dbe88fed0b9b7251a8d1a4c45ed1e0de6958bea954ae680

Request headers

Referer
https://seh58igf.dfeuhl.cn/
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36

Response headers

Connection
keep-alive
Content-Encoding
gzip
Content-Length
625
Content-Type
text/html; charset=utf-8
Date
Sat, 23 Nov 2024 16:47:03 GMT
EagleId
a3b52a9c17323804233898862e
Server
Tengine
Timing-Allow-Origin
*
Vary
Accept-Encoding
Via
cache19.l2hk3[6,0], ens-cache8.sg27[73,0]
x-alicdn-da-ups-status
endOs,0,416
favicon.ico
dfvbghytf.nrpak.cn/
0
253 B
Other
General
Full URL
https://dfvbghytf.nrpak.cn/favicon.ico
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
163.181.42.243 -, , ASN (),
Reverse DNS
Software
Tengine /
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36
Referer
https://dfvbghytf.nrpak.cn/hadd?p=0

Response headers

Timing-Allow-Origin
*
Connection
keep-alive
Via
cache16.l2hk3[4,0], ens-cache8.sg27[71,0]
EagleId
a3b52a9c17323804235761246e
Content-Length
0
Date
Sat, 23 Nov 2024 16:47:03 GMT
Content-Type
image/x-icon
Server
Tengine

Verdicts & Comments Add Verdict or Comment

4 JavaScript Global Variables

These are the non-standard "global" variables defined on the window object. These can be helpful in identifying possible client-side frameworks and code.

function| OpenInstall object| data function| Swiper object| swiper

0 Cookies

2 Console Messages

Source Level URL
Text
security error URL: https://119f.cc/(Line 6)
Message:
X-Frame-Options may only be set via an HTTP header sent along with a document. It may not be set inside <meta>.
network error URL: https://dfvbghytf.nrpak.cn/hadd?p=0
Message:
Failed to load resource: the server responded with a status of 416 (Requested Range Not Satisfiable)