5.39/6.61	unsat
