5.39/6.84	unsat
