11.78/13.80	unsat
