1.39/3.26	unsat
