11.94/13.80	unsat
