5.08/6.76	unsat
