1.39/4.13	unsat
