7.86/7.91	unsat
