11.63/11.75	unsat
