5.78/6.76	unsat
