6.74/7.76	unsat
