5.98/6.76	unsat
