11.67/13.80	unsat
