9.86/9.97	unsat
