7.86/8.10	unsat
