unclasp version 0.1
Reading from stdin
Answer: 1
cf_rule1b(2,2,c) cf_rule1b(1,2,c) cf_rule1b(0,2,b) cf_rule1b(2,1,a) cf_rule1b(1,1,a) cf_rule1b(0,0,c) cf_rule1b(2,0,b) cf_rule1b(0,0,a) cf_rule0(1) 
Optimization: 9 
Answer: 1
cf_rule1a(2,c,2) cf_rule1a(2,b,1) cf_rule1a(2,a,2) cf_rule1a(0,a,2) cf_rule1b(1,2,c) cf_rule1b(1,2,a) cf_rule0(1) 
Optimization: 7 
SATISFIABLE

Models      : 1+    
  Enumerated: 2
  Optimum   : unknown
Optimization: 7 
Time        : 3.700s (Solving: 3.12s 1st Model: 1.18s Unsat: 0.00s)