49.70/50.14	unsat
