11.46/12.80	unsat
