8.86/11.87	unsat
