1.39/1.96	unsat
