5.69/6.76	unsat
