7.68/7.76	unsat
