0.39/1.96	unsat
