1.39/3.07	unsat
