11.86/14.87	unsat
