1.39/6.94	unsat
