11.75/11.87	unsat
