8.86/9.61	unsat
