9.86/11.17	unsat
