8.86/9.77	unsat
