6.44/7.76	unsat
