7.86/7.96	unsat
