clasp version 1.2.1 
Reading from stdin
Reading      : Done(0.170s)
Preprocessing: Done(2.620s)
Solving...
Answer: 1
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,5) rasp_balance(eidehd,5) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) 
Answer: 2
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,5) rasp_balance(eidehd,5) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) 
Answer: 3
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) 
Answer: 4
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) 
Answer: 5
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) 
Answer: 6
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) 
Answer: 7
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,1) rasp_balance(eidehd,9) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) 
Answer: 8
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,0) rasp_balance(scsihd,1) rasp_balance(eidehd,9) rasp_balance(motherboard,4) rasp_balance(rammodule,10) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),2) 
Answer: 9
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_balance(cpu,4) rasp_balance(scsihd,5) rasp_balance(eidehd,7) rasp_balance(motherboard,6) rasp_balance(rammodule,18) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),0) 
Answer: 10
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,1) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_balance(cpu,4) rasp_balance(scsihd,3) rasp_balance(eidehd,9) rasp_balance(motherboard,6) rasp_balance(rammodule,18) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,2) rasp_balance(pc(desk),1) rasp_balance(pc(server),0) 
Answer: 11
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_8) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,1) rasp_balance(scsihd,5) rasp_balance(eidehd,7) rasp_balance(motherboard,5) rasp_balance(rammodule,12) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,3) rasp_balance(pc(desk),0) rasp_balance(pc(server),2) 
Answer: 12
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_8) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,eidehd,2,2,rasp_pl_6_1) rasp_balance(cpu,1) rasp_balance(scsihd,5) rasp_balance(eidehd,7) rasp_balance(motherboard,5) rasp_balance(rammodule,12) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,3) rasp_balance(pc(desk),0) rasp_balance(pc(server),2) 
Answer: 13
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_8) rasp_use_pl(rasp_6,eidehd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,1) rasp_balance(scsihd,3) rasp_balance(eidehd,9) rasp_balance(motherboard,5) rasp_balance(rammodule,12) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,3) rasp_balance(pc(desk),0) rasp_balance(pc(server),2) 
Answer: 14
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_6) rasp_counter(rasp_6,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_8) rasp_use_pl(rasp_6,scsihd,1,2,rasp_pl_6_1) rasp_use_pl(rasp_6,scsihd,2,2,rasp_pl_6_1) rasp_balance(cpu,1) rasp_balance(scsihd,3) rasp_balance(eidehd,9) rasp_balance(motherboard,5) rasp_balance(rammodule,12) rasp_balance(rasp_pl_6_1,2) rasp_balance(rasp_pl_8_1,3) rasp_balance(pc(desk),0) rasp_balance(pc(server),2) 
Answer: 15
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,1) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) 
Answer: 16
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,1) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) 
Answer: 17
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,1) rasp_balance(eidehd,7) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) 
Answer: 18
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,5) rasp_balance(eidehd,3) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) 
Answer: 19
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,3) rasp_balance(eidehd,5) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) 
Answer: 20
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,3) rasp_balance(eidehd,5) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) 
Answer: 21
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,3) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,2,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,3,2,rasp_pl_8_1) rasp_balance(cpu,2) rasp_balance(scsihd,3) rasp_balance(eidehd,5) rasp_balance(motherboard,4) rasp_balance(rammodule,14) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,0) rasp_balance(pc(desk),3) rasp_balance(pc(server),0) 
Answer: 22
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_notfired(rasp_8) rasp_balance(cpu,5) rasp_balance(scsihd,5) rasp_balance(eidehd,9) rasp_balance(motherboard,7) rasp_balance(rammodule,20) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,3) rasp_balance(pc(desk),0) rasp_balance(pc(server),0) 
Answer: 23
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,2,2,rasp_pl_8_1) rasp_balance(cpu,3) rasp_balance(scsihd,1) rasp_balance(eidehd,9) rasp_balance(motherboard,5) rasp_balance(rammodule,16) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,1) rasp_balance(pc(desk),2) rasp_balance(pc(server),0) 
Answer: 24
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_balance(cpu,3) rasp_balance(scsihd,5) rasp_balance(eidehd,5) rasp_balance(motherboard,5) rasp_balance(rammodule,16) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,1) rasp_balance(pc(desk),2) rasp_balance(pc(server),0) 
Answer: 25
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,scsihd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,eidehd,2,2,rasp_pl_8_1) rasp_balance(cpu,3) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,5) rasp_balance(rammodule,16) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,1) rasp_balance(pc(desk),2) rasp_balance(pc(server),0) 
Answer: 26
rasp_a_atom(rasp_1,0,cpu,5) rasp_fired(rasp_1) rasp_a_atom(rasp_2,0,scsihd,5) rasp_fired(rasp_2) rasp_a_atom(rasp_3,0,eidehd,9) rasp_fired(rasp_3) rasp_a_atom(rasp_4,0,motherboard,7) rasp_fired(rasp_4) rasp_a_atom(rasp_5,0,rammodule,20) rasp_fired(rasp_5) rasp_a_atom(rasp_6,0,pc(server),1) rasp_a_atom(rasp_6,1,cpu,-2) rasp_a_atom(rasp_6,2,rasp_pl_6_1,-1) rasp_a_atom(rasp_6,3,motherboard,-1) rasp_a_atom(rasp_6,4,rammodule,-4) rasp_a_atom(rasp_7,0,rasp_pl_6_1,4) rasp_a_atom(rasp_8,0,pc(desk),1) rasp_a_atom(rasp_8,1,cpu,-1) rasp_a_atom(rasp_8,2,rasp_pl_8_1,-1) rasp_a_atom(rasp_8,3,motherboard,-1) rasp_a_atom(rasp_8,4,rammodule,-2) rasp_a_atom(rasp_9,0,rasp_pl_8_1,3) rasp_fired(rasp_7) rasp_fired(rasp_9) rasp_fired(rasp_8) rasp_counter(rasp_8,2) rasp_counter(rasp_4,1) rasp_counter(rasp_1,1) rasp_counter(rasp_7,1) rasp_counter(rasp_9,1) rasp_counter(rasp_3,1) rasp_counter(rasp_5,1) rasp_counter(rasp_2,1) rasp_notfired(rasp_6) rasp_use_pl(rasp_8,eidehd,1,2,rasp_pl_8_1) rasp_use_pl(rasp_8,scsihd,2,2,rasp_pl_8_1) rasp_balance(cpu,3) rasp_balance(scsihd,3) rasp_balance(eidehd,7) rasp_balance(motherboard,5) rasp_balance(rammodule,16) rasp_balance(rasp_pl_6_1,4) rasp_balance(rasp_pl_8_1,1) rasp_balance(pc(desk),2) rasp_balance(pc(server),0) 

Models      : 26    
Time        : 11.830 (Solving: 9.020)