9.86/9.90	unsat
