49.85/50.42	unsat
