8.86/10.86	unsat
