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

Models      : 1+    
  Enumerated: 2
  Optimum   : unknown
Optimization: 9 
Time        : 0.140s (Solving: 0.09s 1st Model: 0.03s Unsat: 0.00s)