1.39/3.19	unsat
