6.38/7.76	unsat
