5.74/6.76	unsat
