11.56/11.75	unsat
