1.39/3.13	unsat
