4.58/6.76	unsat
