49.39/50.69	unsat
