6.64/6.76	unsat
