update

[master.git] / ar / assignments / src / 1.model

diff --git a/ar/assignments/src/1.model b/ar/assignments/src/1.model
new file mode 100644 (file)
index 0000000..cf9ab8f
--- /dev/null
+++ b/ar/assignments/src/1.model
@@ -0,0 +1,33 @@
+sat
+
+(= t5n 0)
+(= t1p 0)
+(= t1c 2)
+(= t3c 0)
+(= t2p 3)
+(= t1d 1)
+(= t4c 0)
+(= t4d 1)
+(= t5c 5)
+(= t3s 0)
+(= t3d 0)
+(= t5p 0)
+(= t2s 4)
+(= t5s 0)
+(= t6d 1)
+(= t1s 4)
+(= t6n 4)
+(= t2d 1)
+(= t3n 0)
+(= t4p 7)
+(= t6s 0)
+(= t4s 0)
+(= t4n 0)
+(= t1n 0)
+(= t6c 3)
+(= t5d 1)
+(= t2n 0)
+(= t2c 0)
+(= t6p 0)
+(= t3p 8)
+