1.39/4.44	unsat
