6.47/7.76	unsat
