1.39/3.96	unsat
