5.97/6.76	unsat
