5.39/6.13	unsat
