1.39/3.20	unsat
