1.39/5.20	unsat
