49.55/50.33	unsat
